'avancement, l'utilisation d'un
assistant de preuve (TLAPS) pourra être envisagé pour élaborer des preuves formelles de propriétés...'automobile ; et cherche également à s'étendre dans les secteurs ferroviaire, nucléaire et
médical. Créée en 2011, et filiale... -
Voir cette offre d'emploi